Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·3d
🦀Rust Macros
Tokenization in Large Language Models
seantrott.substack.com·2d·
Discuss: Substack
📝Text Parsing
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·19h
📝Concrete Syntax
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·22h
🤖Grammar Induction
Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
cekrem.github.io·23h·
Discuss: r/programming, r/webdev
💧Liquid Types
**Hyper-Specific Sub-field Selection:** Automated Code Refactoring with Semantic Dependency Graph Optimization
dev.to·11h·
Discuss: DEV
📏Code Metrics
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·1d
📝ABNF Parsing
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·17h·
Discuss: r/golang
🧠Lisp Dialects
Generating Structured Outputs from LLMs
towardsdatascience.com·1d
📐Format Grammars
Lobsters Interview with Hwayne
lobste.rs·1d·
Discuss: Lobsters
⚔️Lean Tactics
How to Use Antlr Pattern Matching
tomassetti.me·2d·
Discuss: Hacker News
🔍Z3 Parsing
Stuck? Build Your Language Backwards
jimmyhmiller.github.io·2d
💾Binary Linguistics
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·2d
🔗Functional Compilers
zachjs/sv2v
github.com·4h
🧩RISC-V Assembly
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Computational Music Synthesis
cs.gmu.edu·6h·
Discuss: Hacker News
🎛️Audio Synthesis
Your LLM Knows the Future: Uncovering Its Multi-Token Prediction Potential
machinelearning.apple.com·2d·
Discuss: Hacker News
💻Local LLMs
Why Tail-Recursive Functions Are Loops
kmicinski.com·1d·
Discuss: Hacker News
🔗Lisp
Understanding and Mitigating Errors of LLM-Generated RTL Code
arxiv.org·2d
✅Format Verification